Dependently typed programming - PDFSEARCH.IO - Document Search Engine

Dependently typed programming
Results: 102

#	Item
51	Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:16 Logic in computer science Mathematical logic Type theory Dependently typed programming Higher-order functions Append Curry–Howard correspondence Curry Structural induction Software engineering Computing Computer programming
52	Accessibility, Matching, Use: on limitations of computing in a distributed setting Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-18 06:39:21 Dependently typed programming Logic in computer science Philosophy of computer science Type theory Mathematics Ordinal number Computer science Proof theory Mathematical logic Curry–Howard correspondence
53	A type-theoretic framework for formal reasoning with different logical foundations Zhaohui Luo? Dept of Computer Science, Royal Holloway, Univ of London Egham, Surrey TW20 0EX, U.K. [removed] Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English Type theory Dependently typed programming Metalogic Logic in computer science Mathematical constructivism Intuitionistic type theory Logical framework Constructivism Impredicativity Logic Mathematics Mathematical logic
54	Validity in a Modal Procedural Semantics Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-10-21 12:17:12 Proof theory Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Entailment Ordinal number Logic Mathematical logic Mathematics
55	The inconsistency of a Brouwerian continuity principle with the Curry–Howard interpretation Martín Hötzel Escardó1 and Chuangjie Xu1 1 School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-15 05:54:45 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Lambda calculus Intuitionistic type theory Constructible universe Mathematics Mathematical logic Theoretical computer science
56	AURA: Preliminary Technical Results University of Pennsylvania Technical Report MS-CISApril 17, 2008 Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Type theory Dependently typed programming Functional languages Logic in computer science Lambda calculus Calculus of constructions Generalized algebraic data type Monad Curry–Howard correspondence Software engineering Declarative programming Programming language theory
57	A Simple and General Theoretical Account for Abstract Types? Hongwei Xi Boston University Abstract. A common approach to hiding implementation details is Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-06-27 22:37:34 Dependently typed programming Type theory Models of computation Height Infinite group theory Generalized algebraic data type Lambda calculus Normalisation by evaluation Theoretical computer science Software engineering Mathematics
58	IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-06-14 23:05:55 Mathematics Logic in computer science Dependently typed programming Lambda calculus Logic programming Twelf Logical framework Higher-order abstract syntax Dependent type Type theory Programming language theory Theoretical computer science
59	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Logic Constructible universe Ordinal number Functor Mathematical logic Mathematics Proof theory
60	Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Type theory Functional programming Dependently typed programming Models of computation System F Higher-order abstract syntax Church encoding Catamorphism Declarative programming Software engineering Mathematics